Listar por tema "Lenguajes de programación"
Mostrando ítems 1-4 de 4
-
Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración
(Educación para el siglo XXIColombia., 2011)En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ... -
Implementación de un sistema de aprendizaje de lenguajes de programación en línea para JavaScript y Haskell
(Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)IPP5 es una aplicación web desarrollada como herramienta de apoyo para ayudar a los estudiantes de la Escuela Colombiana de Ingeniería Julio Garavito a mejorar sus niveles de entendimiento sobre los lenguajes de programación. ... -
An Inductive Theorem on the Correctness of General Recursive Programs
(Oxford University Press, 2007)We prove a relatively simple inductive theorem (analogous to Floyd and Dijkstra's Invariance Theorem for iterative programs) to verify the correctness of an ample class of non-deterministic general recursive programs. This ... -
Rewriting Logic Semantics of a Plan Execution Language
(E.E.U.U., 2010)The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a ...